The idea of this paper is to explore the existence of canonical countably saturated models for different classes of structures. It is well-known that, under CH, there exists a unique countably saturated linear order of cardinality \. We provide some examples of pairwise non-isomorphic countably saturated linear orders of cardinality \, under different set-theoretic assumptions. We give a new proof of the old theorem of Harzheim, that the class of countably saturated linear orders has a uniquely determined one-element basis. From (...) our proof it follows that this minimal linear order is a Fraïssé limit of certain Fraïssé class. In particular, it is homogeneous with respect to countable subsets. Next we prove the existence and uniqueness of the uncountable version of the random graph. This graph is isomorphic to \,\in \cup \ni )\), where \\) is the set of hereditarily countable sets, and two sets are connected if one of them is an element of the other. In the last section, an example of a prime countably saturated Boolean algebra is presented. (shrink)

Jerzy Perzanowski s ideas were based on an original blend of logic and ontology in what he called onto/logic, where the slash is meant to suggest a quotient of ontology by logic. Perzanowski began as a logician, his early works being on modal logic, then gradually shifted his interest to logical philosophy, meaning not so much philosophy of logic as philosophy informed by logic. Perzanowski was a rare breed of analytical philosopher who thought that a philosophical theory of everything (...) was worthwhile. In this systematic spirit, he began with method. He presented his method of total analysis and synthesis quite simply: reduce the object of research to its simplest possible constituents, and then combine them in some way. Better still, combine them in every possible way, thereby producing a space of possibilities analogous to (and in certain cases identical with) the logical space. Thus, analysis and synthesis differ from a trivial disassembly and reassembly.". (shrink)

Journal Name: Philologus Issue: Ahead of print.

Resumo Este artigo analisa, as recentes versões, da objecção à existência de um fluxo do tempo, com base na pergunta: “Com que velocidade flui o tempo?”. O autor mostra que as soluções existentes para o problema não são plausíveis e, que em vez disso, a resolução deve ser encontrada numa nova concepção de fluxo temporal, que evite tais dificuldades. A teoria metafísica proposta desenvolve as ideias de Broad e Prior sob um novo enquadramento, que invalida a objecção resultante da questão (...) sobre o ritmo da passagem do tempo e das respostas “segundo a segundo”. Neste texto também se procura mostrar, que esta teoria metafísica, aqui proposta, possui outras virtudes que testemunham a seu favor. Palavras-chave : existência dinâmica, fluxo do tempo, presentismo, velocidade de passagem do tempoThe paper analyzes some recent versions of the objection to the existence of the flow of time based on the question: “How fast does time flow?”. It shows that the replies given to the problem are implausible and instead proposes a solution for the issue in the form of a conception of the flow of time which can avoid such a difficulty. The proposed metaphysical theory develops the ideas of Broad and Prior in a radical way and invalidates the objection resulting from the question about the rate of passage and answers “second per second”. The paper also tries to show that this metaphysical theory has other virtues which testify in favor of it. Keywords : flow of time; rate of time’s passage; presentism; dynamic existence. (shrink)

The axiom of canonicity was introduced by the famous Polish logician Roman Suszko in 1951 as an explication of Skolem's Paradox and a precise representation of the axiom of restriction in set theory proposed much earlier by Abraham Fraenkel. We discuss the main features of Suszko's contribution and hint at its possible further applications.

Hermann Grassmann’s 1861 work [2] was probably the first attempt at an axiomatic approach to arithmetic. The historical significance of this work is enormous, even though the set of axioms has proven to be incomplete. Basing on the interpretation of Grassmann’s theory provided by Hao Wang in [4], I present its detailed discussion, define the class of models of Grassmann’s arithmetic and discuss a certain axiom system for integers, modeled on Grassmann’s theory. At the end I propose to modify the (...) set of axioms of Grassmann’s arithmetic, which consists in adding an elementary sentence and removing a non-elementary one. I prove that after this modification the only model of the theory up to isomorphism is the standard model. (shrink)

S. Jaśkowski introduced the discussive propositional calculus D₂ as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories. D₂ has afterwards been extended to a first-order predicate calculus and to a higher-order logic. In this paper we present a natural version of D₂, in the sense of Jaśkowski and Gentzen; as a consequence, we suggest a new formulation of the discussive predicate calculus. A semantics for the new calculus is also presented.

Charles Darwin’s theory of evolution by means of natural selection finds application far outside biology, for which it was originally invented. Its consequences for science proved far-going, influencing practically every field from thermodynamics to the humanities. While acting on biological systems, the Darwinian mechanism is a source of progress and the local-scale abandonment of the universe’s general tendency towards chaos. However, observations of changes taking place in selection-exposed organisms show that evolutionary success requires some essential limitations. The application of this (...) reasoning to social evolution may appear thought-provoking: stable evolution requires not only intense selection but also a conservative approach to ideas. (shrink)

Problem republikanizmu należy do zespołu problemów polityki, którymi Kant zajął się już pod koniec życia. Rozwój i doskonalenie się człowieka nie mieści się w działaniu ludzkiej natury, która jest niezmienna, ale w osobowym działaniu wolności. Ostatecznym tego celem jest wieczny pokój. Warunkiem zaś rozwoju i osiągnięcia celu najwyższego jest zbudowanie ustroju republikańskiego. Kant pokazuje to m.in. na przykładzie rewolucji francuskiej. Choć jest zdecydowanym przeciwnikiem każdej rewolucji, ze względu na sposoby jej realizacji, to w tym przypadku jej skutki ocenia pozytywnie, gdyż (...) wyraziło się w niej prawo narodu do swobodnego nadania sobie ustroju obywatelskiego prawego i uznanego za dobry, jakim jest ustrój republikański. Ustrój republikański jest najlepszy ze wszystkich i określa formę państwa oraz ważniejszą od niej formę rządu, charakteryzującą się rozdzieleniem władz ustawodawczych i wykonawczych oraz trzema istotnymi zasadami: 1) zasadą wolności wszystkich obywateli; 2) zasadą zależności wszystkich od wspólnego prawa; 3) zasadą równości obywateli. (shrink)

Civil society was defined in various ways. Among others, J. Locke, G.W.F. Hegel and A. de Tockeville presented the most relevant characteristic of what civil society is or could be. For the purpose of the paper we distinct civil society and the state. To the first one we assign spontaneity and diversity, the second we treat as procedural and homogeneous. In the paper we will stand for the thesis: civil society is the nest of virtues and as such characterized plays (...) one of the most prominent parts in contemporary social and political reality. The problem is not that presently civil society does not exist. The problem is that once it was established within the state, it has been developed in such a way that it became a hybrid combined from the state and what could be called apolitical human activity. The core of the problem is that the hybrid is more political than apolitical. To the essence of civil society belong: existence of free associations of any kind, economy free from political coerce as much as it could be and public sphere of opinion, all organized in such a political way that the political power is limited by division of it to three independent institutions: a legislature, an executive and a judiciary and also by the law. A ground for apolitical human social activities was prepared by J. Locke in his political theory. The state is one of possible emanations of apolitical society in the state of nature. Montesquieu expanded such a vision of society that it exists within the state but the state itself is limited by division of political power and civil rights which allow the members of the society to protect their freedom and dignity. Moral civil society we are developing protect the citizens from overwhelming influence of the state and particular egoisms of individuals. As such it promotes moral activity, it brings trust to the public sphere and it protects human dignity. (shrink)

Cet artide présente ľhistoire des institute de ľancienne littérature polonaise et caractérise la spécifité de la méthodologie de recherches sur celte période de la littérature polonaise et caracterise la specifite de la methodologie de recherches sur cette perióde de la littérature polonaise. De plus, ľauteur de cet article donne la revue des manuels de ľhistoire de litterature, consacrés aux siècles passés et montre la place des études sur ľancienne littérature nationale pármi les autres matières universitaires de la filologie polonaise et (...) aussi des sciences suplementaires de ľhistorien de la littérature polonaise. Cet article est achevé par un appel á ľélargissement des connaissances des étudiants dans le domaine de filologie classique. (shrink)

Le sujet du martyre des greco-catholiques des régions Chełm et Polasie a été abordé par tels écrivains que: M. Konopnicka, J. Weyssenhoff et S. Żeromski. Reymont a décrit la question des greco-catholiques en commenęant par le récit La Mère en 1902, puis dans le reportage Du Sol de Chełm jusqu'au roman La Jugée. Dans ses oeuvres il a mis en evidence ľhéroisme du peuple des regions Chełm et Podlasie.

The so-called ‘type method’ widely employed in biological taxonomy is often seen as conforming to the causal-historical theory of reference. In this paper, I argue for an alternative account of reference for biological nomenclature in which taxon names are understood as descriptive names. A descriptive name, as the concept came to be known from the work of Gareth Evans, is a referring expression introduced by a definite description. There are three main differences between the DN and the causal account. First, (...) according to the DN account, rather than fixing a name to a referent, the assignment of a type specimen to serve as the name-bearer for a taxon should be seen as performatively establishing a synonymy between a name and a definite description of the form “the taxon whose type is t”. Each taxon name is therefore associated with a criterion of application, a semantic rule that establishes the connection between the name and the descriptive content. This is the second major difference from the causal account: taxon names do have some descriptive content associated with them. The final locus of dissent concerns the strength of the modality resulting from the usage of taxon names. In order to address this point, I use the DN account to focus on the debate between Matt Haber and Joeri Witteveen concerning misidentification of type specimens, misapplication of names, and the truth conditions of Joseph LaPorte’s de dicto necessary sentence “Necessarily, any species with a type specimen contains its type specimen”. Using a pragmatic variant of the distinction between attributive and referential uses of descriptions, I argue that a metalinguistic version of the de dicto sentence is in fact falsified, as previously argued by Haber. (shrink)

Among the composers with whom Wojciech Młynarski collaborated – a brilliant songwriter and penetrating satirist, librettist and translator, as well as a talented singer – was a completely unique artist, often referred to as the “Polish Gershwin” – Jerzy Wasowski. As a result of their nearly twenty years of cooperation, interrupted by Wasowski’s death in 1984, about thirty songs were created, most often being cabaret-satirical works or in the form of “sung columns”. Among the achievements of the Młynarski-Wasowski company (...) there are many “small masterpieces”, which are examples of masterly connections between words and music. The works they wrote together in the last period of their cooperation have been remembered in a special way by Młynarski. These songs were written at a special moment in the history of the People’s Republic of Poland – during the “Solidarity” carnival and during the martial law period. Moreover, the story of their proprietary company closed. The works they wrote last – in 1982 and 1983 – were described by Młynarski as “interesting songs”. During the martial law period, Młynarski decided to suspend public appearances – joining the artists who, in protest, decided to boycott the state media. He only took care of writing lyrics for new songs. At that time, he addressed the proposal to compose music mainly to Wasowski, who, like him, believed that one should continue to write, but – for now – “in the drawer”. Eight works were written then, six of which – Ballada o szachiście, Jestem piłeczką pingpongową, Po Krakowskim w noc majową, W miejskim teatrzyku lalek, Róbmy swoje, Ballada o dwóch koniach – had a satirical and journalistic character and entered Młynarski’s repertoire when he resumed his performances. Whereas the other two songs – Mam złe lata i dobre dni oraz Gram o wszystko – were lyrical-reflective pieces with female texts, and became their performers a few years later: Hanna Banaszak and Ewa Bem. This article analyzes one of these songs – Ballada o szachiście – aimed at explaining – in an elementary way – why Młynarski used the word “interesting” to refer to the songs written with Wasowski during the martial law period. This term is primarily intended to denote a work whose words and music were written in order to “give food for thought” to the audience. (shrink)

The paper analyzes the philosophical consequences of the recent discovery of direct violations of the time–reversal symmetry of weak interactions. It shows that although we have here an important case of the time asymmetry of one of the fundamental physical forces which could have had a great impact on the form of our world with an excess of matter over antimatter, this asymmetry cannot be treated as the asymmetry of time itself but rather as an asymmetry of some specific physical (...) process in time. The paper also analyzes the consequences of the new discovery for the general problem of the possible connections between direction of time and time-asymmetric laws of nature. These problems are analyzed in the context of Horwich’s Asymmetries in time: problems in the philosophy of science argumentation, trying to show that existence of a time–asymmetric law of nature is a sufficient condition for time to be anisotropic. Instead of Horwich’s sufficient condition for anisotropy of time, it is stressed that for a theory of asymmetry of time to be acceptable it should explain all fundamental time asymmetries: the asymmetry of traces, the asymmetry of causation, and the asymmetry between the fixed past and open future. It is so because the problem of the direction of time has originated from our attempts to understand these asymmetries and every plausible theory of the direction of time should explain them. (shrink)

This note discusses some problems concerning intended, standard, and nonstandard models of mathematical theories. We pay attention to the role of extremal axioms in attempts at a unique characterization of the intended models. We recall also Jan Woleński’s views on these issues.

Chciałem Go pożegnać. Kilkakrotnie próbowałem napisać choć parę słów. O Nim samym. Okazało się, że nie potrafię. Udało mi się tylko przedstawić Jego poglądy na reizm Tadeusza Kotarbińskiego, ale uczyniłem to gdzie indziej. Muszę tu poprzestać na ofiarowaniu Mu tego, co napisałem na Jego dziewięćdziesiąte urodziny, w osiemdziesięciolecie naszej przyjaźni.